(declare-fun _substvar_534_ () Real)
(declare-const r1 Real)
(declare-const r2 Real)
(assert (and (> r2 r1) (>= r1 0.7)))
(declare-const r3 Real)
(check-sat)
(assert (< 0.7 r2 r3 _substvar_534_))
(push)
(assert (and (< 0.7 r2 r3 0.0) (= 0.0 r2 r3 0.0)))
(pop)
(check-sat)
